Ulrich W. Kulisch：在 Z-Library 上搜索

Prof. Dr. Ulrich Kulisch, Dr. Rudi Klatte, Dipl.-Math. Andreas Wiethoff, Dr. Christian Lawo, Dipl.-Math. Michael Rauch (auth.)

年:

1993

语言:

english

文件:

PDF, 5.30 MB

0 / 0

english, 1993

Computer Arithmetic in Theory and Practice

Academic Press

Miranker, Willard L., Kulisch, Ulrich

年:

1981

语言:

english

文件:

DJVU, 2.31 MB

0 / 0

english, 1981

Perspectives on Enclosure Methods

Andreas Frommer (auth.), Prof. Dr. Ulrich Kulisch, Priv.-Doz. Dr. Rudolf Lohner, Dr. Axel Facius (eds.)

年:

2001

语言:

english

文件:

PDF, 9.64 MB

0 / 0

english, 2001

Computer Arithmetic and Validity: Theory, Implementation, and Applications

Elsevier Inc, Academic Press Inc

Kulisch, Ulrich

年:

2008

语言:

english

文件:

PDF, 4.58 MB

0 / 0

english, 2008

A New Approach to Scientific Computation

Ulrich W. Kulisch, Willard L. Miranker

年:

1983

语言:

english

文件:

PDF, 18.19 MB

0 / 0

english, 1983

Computer Arithmetic and Validity: Theory, Implementation, and Applications

Ulrich Kulisch

年:

2013

语言:

english

文件:

PDF, 8.92 MB

0 / 5.0

english, 2013

Wissenschaftliches Rechnen mit Ergebnisverifikation

Ulrich Kulisch (editor)

年:

1990

语言:

german

文件:

PDF, 21.07 MB

0 / 0

german, 1990

Computer Arithmetic and Validity: Theory, Implementation, and Applications

Ulrich Kulisch

年:

2008

语言:

english

文件:

PDF, 4.55 MB

0 / 0

english, 2008

Advanced Arithmetic for the Digital Computer: Design of Arithmetic Units

Dr. Ulrich W. Kulisch (auth.)

年:

2002

语言:

english

文件:

PDF, 3.63 MB

0 / 0

english, 2002

C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs

Prof. Dr. Ulrich Kulisch, Dr. Rolf Hammer, Dr. Matthias Hocks, Dr. Dietmar Ratz (auth.)

年:

1995

语言:

english

文件:

PDF, 12.93 MB

0 / 0

english, 1995

Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs

Prof.Dr. Ulrich Kulisch, Dr. Rolf Hammer, Dr. Dietmar Ratz, Dipl-Math. oec. Matthias Hocks (auth.)

年:

1993

语言:

english

文件:

PDF, 23.91 MB

0 / 0

english, 1993

C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs

Springer

Rolf Hammer, Matthias Hocks, Ulrich W. Kulisch

年:

2011

语言:

english

文件:

PDF, 12.93 MB

0 / 0

english, 2011

C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs

Springer

Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz

年:

1995

语言:

english

文件:

DJVU, 5.09 MB

0 / 0

english, 1995

Überblicke Mathematik 1998

Vieweg+Teubner Verlag

Peter Schreiber (auth.), Prof. Dr. Albrecht Beutelspacher, Prof. Dr. Norbert Henze, Prof Dr. Ulrich Kulisch, Prof Dr. Hans Wußing (eds.)

年:

1997

语言:

german

文件:

PDF, 12.77 MB

0 / 0

german, 1997

PASCAL-XSC: Language Reference with Examples

Prof. Dr. Ulrich Kulisch, Dr. Rudi Klatte, Dipl.-Math. techn. Dietmar Ratz, Dr. Michael Neaga, Prof. Dr. Christian Ullrich (auth.)

年:

1992

语言:

english

文件:

PDF, 21.55 MB

0 / 0

english, 1992

Scientific Computation with Automatic Result Verification

Prof. Dr. U. Kulisch, Prof. Dr. H. J. Stetter (auth.), Prof. Dr. Ulrich Kulisch, Prof. Dr. Hans J. Stetter (eds.)

年:

1988

语言:

english

文件:

PDF, 7.62 MB

0 / 0

english, 1988

Grundlagen der Computer-Arithmetik

Prof. Dr. R. Albrecht (auth.), Prof. Dr. Rudolf Albrecht, Prof. Dr. Ulrich Kulisch (eds.)

年:

1977

语言:

german

文件:

PDF, 4.36 MB

0 / 0

german, 1977

PASCAL-XSC: Sprachbeschreibung mit Beispielen